micro-PRL - definição. O que é micro-PRL. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é micro-PRL - definição

WIKIMEDIA DISAMBIGUATION PAGE
PRL (disambiguation)

PRL         
Proof Refinement Logic. Versions: micro-PRL, lambda-PRL, nu-PRL. ["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983]. (1995-01-24)
Micro Forté         
VIDEO GAME DEVELOPMENT COMPANY
Micro Forte
Micro Forté Pty Ltd is an Australian electronic entertainment company with development studios in Canberra and Sydney. Founded in 1985 by John De Margheriti at a time when there was little game development presence in Australia, Micro Forté has been closely linked to the growth of the Australian game development industry, with CEO De Margheriti initiating events such as the Australian Game Developers Conference (AGDC) and founding the Academy of Interactive Entertainment (AIE).
The Micro User         
UK MAGAZINE
Acorn Computing; BBC Micro User; Acorn computing; Micro User
The Micro User (titled BBC Micro User in the first three issues) was a British specialist magazine catering to users of the BBC Microcomputer series, Acorn Electron, Acorn Archimedes and, to a limited extent, the Cambridge Z88. It had a comprehensive mix of reviews of games, application software, and the latest Acorn computers; type-in programs (duplicated on a "cover disk" which was available separately), a correspondence page offering help with computer problems, and approachable technical articles on programming and the BBC Micro's internals.

Wikipédia

PRL